Principe de double négation


Principe de double négation

Principe de double négation principe selon lequel ¬ ¬ p ≡ p. (Ce principe est rejeté par la logique intuitionniste.)

Encyclopédie Universelle. 2012.

Regardez d'autres dictionnaires:

  • Double négation — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • négation — [ negasjɔ̃ ] n. f. • negatiun XII e; lat. negatio, de negare « nier » 1 ♦ Acte de l esprit qui consiste à nier, à rejeter un rapport, une proposition, une existence; expression de cet acte. Négation de Dieu. Négation de la vérité, des valeurs. ⇒… …   Encyclopédie Universelle

  • Negation (linguistique) — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • Négation linguistique — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • Négation (linguistique) — Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose à l’affirmation. Bien… …   Wikipédia en Français

  • Principe du tiers exclu — Le principe du tiers exclu (ou « milieu exclu ») soutient que, de deux propositions dont l une est la négation de l autre, si l une est fausse, l autre est nécessairement vraie. La loi ou principe du tiers exclu affirme la disjonction d …   Wikipédia en Français

  • DIEU - La négation de Dieu — L’affirmation est un acte simple; visant intentionnellement un donné de l’expérience, sujet d’une proposition, elle lui confère les attributs qui lui reviennent; pré interrogative, l’existence de cet homme, de cet arbre, de cette maison fait… …   Encyclopédie Universelle

  • Tertium non datur — Principe du tiers exclu Le principe du tiers exclu (ou milieu exclu) soutient que, de deux propositions contradictoires, si l une est vraie, l autre est nécessairement fausse, et réciproquement, et il n y a pas de troisième solution possible. La… …   Wikipédia en Français

  • Tiers exclus — Principe du tiers exclu Le principe du tiers exclu (ou milieu exclu) soutient que, de deux propositions contradictoires, si l une est vraie, l autre est nécessairement fausse, et réciproquement, et il n y a pas de troisième solution possible. La… …   Wikipédia en Français

  • Style de Fitch pour la déduction naturelle — Le logicien Frederic Brenton Fitch (en) a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1 Introduction …   Wikipédia en Français